Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
31	Memory Efficient Minimum Substring Partitioning Yang Li, Pegah Kamousi, Fangqiu Han, Shengqi Yang, Xifeng Yan, Subhash Suri University of California, Santa Barbara {yangli, pegah, fhan, sqyang, xyan, suri}@cs.ucsb.edu A Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 2013-07-16 15:28:48 Mathematics Academia Discrete mathematics Combinatorics Bioinformatics Computational biology Formal languages K-mer Substring Partition Comparison of programming languages Velvet assembler
32	Surname identification and correction in a corpus of forename surname dataset Suresh Veluru, Yogachandran Rahulamathavan, and Muttukrishnan Rajarajan Information Security Group, School of Engineering and Mathematical Sci Add to Reading List Source URL: www.uncertaintyofidentity.com Language: English - Date: 2013-04-26 11:31:05 String computer science) Linguistics Formal languages Computing Dynamic programming Approximate string matching Pattern matching Suffix tree JaroWinkler distance String metric String Comparison of programming languages
33	Formalizing Symbolic Decision Procedures \| {z in Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00 Formal languages Regular language Regular expression Brzozowski derivative Symbol Theoretical computer science Grammar Metalogic
34	KERNELS AND SIMILARITY MEASURES FOR TEXT CLASSIFICATION Andr´e T. Martins Priberam Inform´atica, and Instituto de Telecomunicac¸o˜ es Instituto Superior T´ecnico, Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2007-07-11 09:16:08 Computing String computer science) Formal languages Mathematics Geostatistics Kernel method Suffix tree String kernel Entropy String Kernel Regular expression
35	1 Chomsky Hierarchy Grammars for each task Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-03-26 15:21:23 Formal languages Grammar Language Cognitive science Formal grammar Noncontracting grammar Regular language Chomsky hierarchy Context-free language LL grammar Indexed grammar Context-sensitive grammar
36	TECHNICAL REPORT TRJuneCONCR ETE SYNTAX OF PL / 1 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-03-06 06:36:07 Software engineering Computer programming Computing Formal languages Compiler construction Procedural programming languages IBM software PL/I BackusNaur form Syntax Programming language Formal grammar
37	VACAPES Restricted Areas Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:24 Clothing Mathematics Combinatorics Formal languages Character encoding String Thong Dimension
38	Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan S. Curley Dr. Richard E. Harang Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:50 Formal languages Cognitive science Academia Cognition Language identification in the limit Grammar induction Recurrent neural network Algorithmic learning theory Context-free grammar Regular language Context-free language Formal grammar
39	DIVISIBILITY THEORY OF ARITHMETICAL RINGS WITH ONE MINIMAL PRIME IDEAL ´ P. N. ANH AND M. F. SIDDOWAY Version 0.0 Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2015-01-13 05:18:27 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Category theory Formal languages Probability distributions Monoid Semigroup Inverse element Normal distribution
40	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions